Monoid-matrix type automata
نویسندگان
چکیده
Article history: Received 3 February 2013 Accepted 7 August 2013 Communicated by M. Ito
منابع مشابه
Myhill-Nerode Fuzzy Congruences Corresponding to a General Fuzzy Automata
Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...
متن کاملGeneralized Results on Monoids as Memory
We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we prove that the context-free language L1 ∗ = {ab : n ≥ 1}∗ can not be recognized by any rational monoid automaton over a finitely generated permutable monoid. We show that the class of la...
متن کاملIsomorphisms of Additive Cellular Automata on Finite Groups
We study sources of isomorphisms of additive cellular automata on finite groups (called index-group). It is shown that many isomorphisms (called regular) of automata are reducible to the isomorphisms of underlying algebraic structures (such as the index-group, monoid of automata rules, and its subgroup of reversible elements). However for some groups there exist not regular automata isomorphism...
متن کاملACME: Automata with Counters, Monoids and Equivalence
We present ACME, a tool implementing algebraic techniques to solve decision problems from automata theory. The core generic algorithm takes as input an automaton and computes its stabilization monoid, which is a generalization of its transition monoid. Using the stabilization monoid, one can solve many problems: determine whether a B-automaton (which is a special kind of automata with counters)...
متن کاملOn the interplay between Babai and \v{C}ern\'y's conjectures
Motivated by the Babai conjecture and the Černý conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with n states in this class, we prove that the reset thresholds are upperbounded by 2n − 6n + 5 and can attain the value n(n−1) 2 . In addition, we study diameters of the pair digraphs of permu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 520 شماره
صفحات -
تاریخ انتشار 2014